Works by Kevin J. Compton

( view other items matching `Kevin J. Compton`, view all matches )
4 found
Order:
  1.  21
    Some useful preservation theorems.Kevin J. Compton - 1983 - Journal of Symbolic Logic 48 (2):427-440.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  29
    An undecidable problem in finite combinatorics.Kevin J. Compton - 1984 - Journal of Symbolic Logic 49 (3):842-850.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  42
    Barwise Jon and Etchemendy John. The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370 (2). CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1990, also distributed by the University of Chicago Press, Chicago, xiii+ 259 pp.+ disk. Barwise Jon and Etchemendy John. The language of first-order logic, including the Macintosh program Tarski's world. of the preceding. CSLI lecture notes, no. 23. Center for the Study of .. [REVIEW]Kevin J. Compton - 1993 - Journal of Symbolic Logic 58 (1):362-363.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4. Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, including the Program Tarski's World; Jon Barwise, John Etchemendy, The Language of First-order Logic, including the Macintosh Program Tarski's World. [REVIEW]Kevin J. Compton - 1993 - Journal of Symbolic Logic 58 (1):362-363.
     
    Export citation  
     
    Bookmark